The PI-calculus

The PI-Calculus is a theory of Mobile Processes.

It is the mathematic foundation of WS-CDL

http://move.to/mobility